<?php
/**
 * @return never
 */
function testNever() {
    die;
}
testNever();
